<body>
SAT-solvers based on the GSAT algorithm



<br><br>PACKAGE STATE: alpha. it works, nothing more
</body>